翻訳と辞書
Words near each other
・ extended capabilities port
・ extended concurrent prolog
・ extended data out dynamic random access memory
・ extended data out random access memory
・ extended fortran language
・ extended graphics array
・ extended industry-standard architecture
・ extended memory
・ extended memory manager
・ extended memory specification
extended ml
・ extended pascal
・ extended self-containing prolog
・ extended system configuration data
・ extended tcl
・ extended tiny
・ extended video graphics array
・ extensible
・ extensible database
・ extensible firmware interface


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

extended ml : FOLDOC
Extended ML
A language by Don Sannella of the University of Edinburgh combining {algebraic specification} and functional programming.
["Program Specification and Development in Standard ML", D. Sannella et al, 12th POPL, ACM 1985].
(1994-12-12)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.